文章背景与核心概要
本文给出了保罗·埃尔德什（Paul Erdős）提出的著名数学猜想——Erdős 第1040号问题中关于消失性（vanishing）问题的完整解答。对于复平面 \(\mathbb{C}\) 上的紧集 \(K\)，其单位勒姆尼茨曲线面积下确界 \(\vartheta(K)\) 长期以来吸引着众多数学家的关注。作者 Ioannis Tzachristas 证明了：当 \(K\) 的对数容量 \(\operatorname{cap}(K) = 1\) 时，必然有 \(\vartheta(K) = 0\)，且完全不需要对集合 \(K\) 施加任何正则性假设。
在技术核心上，该研究巧妙地运用了中心调和多项式，使其在 \(K\) 的多项式包络内部（除一个面积任意小的集合外）保持正值。通过外侧调和测度的傅里叶平均，该多项式被表示为一个符号测度的对数势，其相对于平衡测度具有有界的密度。随后，通过正摄动以及利用经验测度进行 \(L^1\) 近逼，最终构造出了满足条件的多项式。
这一突破性成果将 Krishnapur、Lundberg 和 Ramachandran 先前针对光滑边界所证明的结果，成功推广到了容量为 1 的任意紧集。结合 Ghosh 和 Ramachandran 关于容量大于 1 的定理以及针对无界集的初等论证，本文最终确立了：对于任何超限直径（transfinite diameter）至少为 1 的闭无限集 \(F \subset \mathbb{C}\)，均有 \(\vartheta(F) = 0\)，从而圆满回答了 Erdős 第1040号问题中关于勒姆尼茨曲线面积可以任意小的长期疑问。
Erdős 第1040号问题的解决方案
作者： Ioannis Tzachristas
提交于： 2026年9月5日
学科领域： 经典分析与常微分方程 (math.CA)；人工智能 (cs.AI)
MSC 分类： 30C10（主分类），31A15（次分类）
引用格式： arXiv:2609.06050 [math.CA]
DOI： 10.48550/arXiv.2609.06050
摘要 (Summary)
本文给出了 Erdős 第1040号问题中消失性问题的完整解。对于复平面 \(\mathbb{C}\) 上的紧集 \(K\)，设 \(\vartheta(K)\) 表示所有零点位于 \(K\) 内的首一多项式（允许任意次数及重根）的单位勒姆尼茨曲线平面面积的下确界。作者证明了：只要 \(\operatorname{cap}(K) = 1\)，恒有 \(\vartheta(K) = 0\)，且对 \(K\) 不做任何正则性假设。
对于复平面 \(\mathbb{C}\) 上的紧集 \(K\subset\mathbb{C}\)，设 \(\vartheta(K)\) 为所有零点均在 \(K\) 中的首一多项式的单位勒姆尼茨曲线平面面积的下确界，其中允许任意次数和重复零点。我们证明了，只要 \(\operatorname{cap}(K)=1\)，就有 \(\vartheta(K)=0\)，且对 \(K\) 没有正则性假设。
方法论 (Methodology)
- 调和多项式： 证明过程利用了一个中心调和多项式，它在 \(K\) 的多项式包络内部除一个面积任意小的集合外处处为正。
- 对数势： 外侧调和测度的傅里叶平均将该多项式表示为一个符号测度的对数势，该符号测度相对于平衡测度具有有界密度。
- 逼近： 经过正摄动，再通过经验测度进行 \(L^1\) 逼近，最终得到所需的多项式。
- 调和多项式： 该证明利用了一个中心调和多项式，该多项式在多项式包络 \(K\) 内除面积任意小的集合外，在其余所有地方都保持正值。
- 对数势： 外侧调和测度的傅里叶平均将该多项式实现为一个符号测度的对数势，该符号测度相对于平衡测度具有有界密度。
- 逼近： 正向摄动，随后通过经验测度进行 \(L^1\) 逼近，从而产生所需的多项式。
结论 (Conclusion)
通过将该结果与 Ghosh 和 Ramachandran 关于容量大于 1 的定理相结合——并辅以针对无界集的初等论证——本文证明了对于每个超限直径至少为 1 的闭无限集 \(F \subset \mathbb{C}\)，均有 \(\vartheta(F) = 0\)，从而成功解答了关于 Erdős 第1040号问题中任意小勒姆尼茨曲线面积的长久疑问。
将此结果与 Ghosh 和 Ramachandran 的容量大于 1 定理相结合——连同针对无界集的初等论证——该论文确立了对于每个超限直径至少为 1 的闭无限集 \(F\subset\mathbb{C}\)，都有 \(\vartheta(F)=0\)，从而回答了 Erdős 第 1040 号问题中的消失问题。
摘要 (Abstract)
For a compact set \(K\subset\mathbb{C}\), let \(\vartheta(K)\) be the infimum of the planar areas of the unit lemniscates of all monic polynomials with zeros in \(K\), allowing arbitrary degree and repeated zeros. We prove that \(\vartheta(K)=0\) whenever \(\operatorname{cap}(K)=1\), with no regularity assumption on \(K\). The proof uses a centered harmonic polynomial that is positive on all but a set of arbitrarily small area in the polynomial hull of \(K\). A Fourier average of exterior harmonic measures realizes this polynomial as the logarithmic potential of a signed measure having bounded density with respect to the equilibrium measure. A positive perturbation and an \(L^1\) approximation by empirical measures then produce the required polynomials. This extends the smooth-boundary result of Krishnapur, Lundberg, and Ramachandran to arbitrary compact sets of capacity one. Together with the capacity-greater-than-one theorem of Ghosh and Ramachandran and an elementary argument for unbounded sets, it follows that \(\vartheta(F)=0\) for every closed infinite set \(F\subset\mathbb{C}\) of transfinite diameter at least one, answering the vanishing question in Erdős Problem 1040.
对于复平面 \(\mathbb{C}\) 上的紧集 \(K\subset\mathbb{C}\)，设 \(\vartheta(K)\) 为所有零点均在 \(K\) 中的首一多项式的单位勒姆尼茨曲线平面面积的下确界，其中允许任意次数和重复零点。我们证明了，只要 \(\operatorname{cap}(K)=1\)，就有 \(\vartheta(K)=0\)，且对 \(K\) 没有正则性假设。该证明利用了一个中心调和多项式，该多项式在多项式包络 \(K\) 内除面积任意小的集合外，在其余所有地方都保持正值。外侧调和测度的傅里叶平均将该多项式实现为一个符号测度的对数势，该符号测度相对于平衡测度具有有界密度。正向摄动，随后通过经验测度进行 \(L^1\) 逼近，从而产生所需的多项式。这把 Krishnapur、Lundberg 和 Ramachandran 的光滑边界结果推广到了容量为 1 的任意紧集。将此结果与 Ghosh 和 Ramachandran 的容量大于 1 定理相结合——连同针对无界集的初等论证——该论文确立了对于每个超限直径至少为 1 的闭无限集 \(F\subset\mathbb{C}\)，都有 \(\vartheta(F)=0\)，从而回答了 Erdős 第 1040 号问题中的消失问题。
提交历史 (Submission History)
- [v1] Sat, 5 Sep 2026 12:11:52 UTC (12 KB)
- [v1] 2026年9月5日 星期六 12:11:52 UTC (12 KB)
